Роман Михайлов, Группы И Теория Гомотопий, Лекция 8